Next: , Previous: Program Structure, Up: Top


4 Predicates

This section describes functions for testing whether various facts are true or false.